Zariski closure, completeness and compactness
نویسندگان
چکیده
منابع مشابه
Completeness in Zariski Groups
Zariski groups are @0-stable groups with an axiomatically given Zariski topology and thus abstract generalizations of algebraic groups. A large part of algebraic geometry can be developed for Zariski groups. As a main result, any simple smooth Zariski group interprets an algebraically closed eld, hence is almost an algebraic group over an algebraically closed eld.
متن کاملON COMPACTNESS AND G-COMPLETENESS IN FUZZY METRIC SPACES
In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...
متن کاملCompleteness, Compactness, Effective Dimensions
We investigate a directed metric on the space of infinite binary sequences defined by d(Y → X) = lim sup n C(X n | Y n) n , where C(X n | Y n) is the Kolmogorov complexity of X n given Y n. In particular we focus on the topological aspects of the associated metric space proving that it is complete though very far from being compact. This is a continuation of earlier work by the author investiga...
متن کاملHierarchic Superposition: Completeness without Compactness
Many applications of automated deduction and verification require reasoning in combinations of theories, such as, on the one hand (some fragment of) first-order logic, and on, the other hand a background theory, such as some form of arithmetic. Unfortunately, due to the high expressivity of the full logic, complete reasoning is impossible in general. It is a realistic goal, however, to devise t...
متن کاملRegular Closure Operators and Compactness
Résumé. Une légère modification de la notion de compacité relativement à un opérateur de fermeture permet d’étendre à la catégorie TOP des espaces topologiques divers résultats sur les opérateurs de fermeture réguliers obtenus pour la catégorie AB des groups abéliens. Ainsi les épimorphismes dans les sous-catégories des objets compacts ou compactsséparés pour un opérateur de fermeture régulier ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2006
ISSN: 0166-8641
DOI: 10.1016/j.topol.2005.04.014